DEFINITION FOR VEXATION